Existential Horn sentences

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Expletives as Arguments : Germanic Existential Sentences Revisited *

We propose an analysis for expletive-associate constructions within the minimalist framework outlined by Chomsky (1991, and later). Specifically, we argue that the expletive is an argument expression that must raise to the (most) external subject position in order to satisfy the Extended Projection Principle and check nominative case, while number agreement is checked by the associate. We prese...

متن کامل

Learning Acyclic First-order Horn Sentences

This paper considers the problem of learning an unknown rst-order Horn sentence H from examples of Horn clauses that H either implies or does not imply. Particularly, we deal with a subclass of rst-order Horn sentences ACH(k), called acyclic constrained Horn programs of constant arity k. ACH(k) allows recursions, disjunctive definitions, and the use of function symbols. We present an algorithm ...

متن کامل

Reduced Products, Horn Sentences, and Decision Problems

We shall consider a first order language with equality, and the corresponding structures. Reduced products {powers) and Horn sentences are defined in [4, pp. 199, 211]. An Vn sentence is a prenex sentence whose prefix consists of a block of universal quantifiers, followed by a block of existential quantifiers, followed by another block of universal quantifiers, and so on n times; an sentences a...

متن کامل

Existential Sentences, Be, and the Genitive of Negation in Russian

The Genitive of Negation (Gen Neg) in Russian involves alternation of Genitive with Nominative or Accusative under conditions which have been debated for many decades. What gives the construction its name is that Gen Neg occurs only under sentential negation; other allegedly crucial factors include topic-focus structure, unaccusativity, perspectival structure, the lexical semantics of the verb,...

متن کامل

Rescuing Existential Free Choice Items in Episodic Sentences

Note here that this subtrigging strategy does not work for all types of FCIs. Chierchia (2005) points out that, in Italian, subtrigging rescues the universal type of FCI qualsiasi, but not the existential counterpart uno qualsiasi. The same contrast holds for other Romance languages like Spanish: adding a relative clause improves the universal FCI cualquier in (4), but not the existential FCI u...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the American Mathematical Society

سال: 1959

ISSN: 0002-9939

DOI: 10.1090/s0002-9939-1959-0115914-6